21. Inconsistent Mathematics
المؤلف: by Chris Mortensen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing.,Logic, Symbolic and mathematical.,Logic.,Mathematics.
22. Introduction to Cryptography :
المؤلف: by Hans Delfs, Helmut Knebl.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Coding theory.,Computer science.,Data encryption (Computer science)
رده :
QA76
.
9
.
A25
B943
2002
23. Larch Languages and Tools for Formal Specification
المؤلف: John V. Guttag; James J. Horning. With S.J. Garland ...
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebraische Spezifikation,LARCH,Softwareentwicklung
رده :
QA76
.
6
J646
2012
24. Lectures on logarithmic algebraic geometry /
المؤلف: Arthur Ogus, University of California, Berkeley.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Compactifications, Textbooks.,Geometry, Algebraic, Textbooks.,Logarithmic functions, Textbooks.,Number theory, Textbooks.,Algebraische Geometrie,Compactifications.,Geometry, Algebraic.,Logarithmic functions.,Logarithmus,Number theory.
رده :
QA565
.
O38
2018
25. Logic and arithmetic
المؤلف: Bostock, David.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Arithmetic-- Foundations,، Logic, Symbolic and mathematical,، Number theory
رده :
QA
248
.
B725
26. Logic and arithmetic.
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Arithmetic-- Foundations.,Logic, Symbolic and mathematical.,Number theory.
رده :
QA248
.
B725
27. Logical foundations of computer science :
المؤلف: eds.: Anil Nerode ...
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
28. Lore and science in ancient Pythagoreanism /
المؤلف: Walter Burkert ; translated by Edwin L. Minar, Jr
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Philolaus,approximately 470 B.C.-,Plato,Pythagoras and Pythagorean school
رده :
B243
.
B813
29. Modern cryptography and elliptic curves :
المؤلف: Thomas R. Shemanske.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Cryptography, Textbooks.,Curves, Elliptic, Textbooks.,Geometry, Algebraic, Textbooks.,Algebraic geometry-- Arithmetic problems. Diophantine geometry-- Applications to coding theory and cryptography.,Computer science-- Instructional exposition (textbooks, tutorial papers, etc.),Computer science-- Theory of data-- Data encryption.,Computersicherheit,Cryptography.,Curves, Elliptic.,Elliptische Kurve,Geometry, Algebraic.,Information and communication, circuits-- Communication, information-- Cryptography.,Kryptologie,Number theory-- Arithmetic algebraic geometry (Diophantine geometry)-- Elliptic curves over global fields.,Number theory-- Computational number theory-- Factorization.,Number theory-- Elementary number theory-- Elementary number theory.,Number theory-- Finite fields and commutative rings (number-theoretic aspects)-- Algebraic coding theory; cryptography.,Number theory-- Instructional exposition (textbooks, tutorial papers, etc.),Public-Key-Kryptosystem,Quantencomputer,Quantum theory-- Axiomatics, foundations, philosophy-- Quantum computation.
رده :
QA567
.
2
.
E44
S534
2017
30. New Foundations in Mathematic
المؤلف: / by Garret Sobczyk
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Mathematics,Algebra,Group theory,Matrix theory,Topological Groups,Mathematical physics,Engineering mathematics,Electronic books
رده :
E-BOOK
31. Number systems : a modern introduction
المؤلف: Keedy, Mervin Laverne
المکتبة: (طهران)
موضوع: ، Arithmetic -- Foundations,، Number theory
رده :
QA
248
.
3
.
K42
1969
32. Number systems a modern introduction
المؤلف: Keedy, Mervin Laverne
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Arithmetic -- Foundations,، Number theory
رده :
QA
248
.
3
.
K42
1969
33. Numbers, sets, and axioms :
المؤلف: A.G. Hamilton.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Arithmetic-- Foundations.,Number theory.,Set theory.,Arithmétique-- Fondements.,Ensembles, Théorie des.,Nombres, Théorie des.,Arithmetic-- Foundations.,Arithmétique-- Fondements.,Ensembles, Théorie des.,Nombres, Théorie des.,Number theory.,Set theory.
رده :
QA248
.
H27
1982
34. Numbers, sets, and axioms : the apparatus of mathematics
المؤلف: Hamilton, A. G.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Arithmetic-- Foundations,، Set theory,، Number theory
رده :
QA
248
.
H27
1982
35. Outline of mathematical logic :
المؤلف: Andrzej Grzegorczyk
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
QA9
.
A537
2013
36. Philosophy of mathematics :
المؤلف: David Bostock
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematics-- Philosophy
رده :
QA8
.
4
.
B675
2009
37. Primality testing for beginners /
المؤلف: Lasse Rempe-Gillen, Rebecca Waldecker
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Number theory
رده :
QA241
.
R45813
2014
38. Quadratic and Hermitian Forms
المؤلف: by Winfried Scharlau.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Mathematics.,Number theory.
39. Recursive number theory: a development of recursive arithmetic in a logic- free equation calculus
المؤلف: by R.L. Goodstein
المکتبة: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)
موضوع: Numbers, theory of
رده :
QA
248
.
5
.
G6N8
40. Set theory :
المؤلف: Abhijit Dasgupta
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Point set theory.,Set theory.
رده :
QA248
.
D37
2014
